fn fst[X, Y] (a: X, b: Y) -> X {
  a
}